Research of Alexander Kurz
نویسنده
چکیده
Coalgebras When I started my PhD, the idea that the theory of coalgebras might serve as a general theory of systems had emerged. But there were only a few ad hoc descriptions of speci cation languages for coalgebras which were built, in analogy with logics for algebras, on equational logic and extensions. [2] was one of the rst papers to put forward the idea that modal logics should be used as a speci cation language for systems considered as coalgebras. This idea was substantiated by [9, 17] characterising the classes of coalgebras de nable with modal logics. These results dualise Birkho 's result on equationally de nable classes of algebras. The duality of the semantics of modal logic and equational logic was formalised in [23]. Another account of this duality, exhibiting a duality between algebraic operations and modal formulae, was given in [5].
منابع مشابه
Light-by-light-type corrections to the muon anomalous magnetic moment at four-loop order
Alexander Kurz, Tao Liu, Peter Marquard, Alexander V. Smirnov, Vladimir A. Smirnov, and Matthias Steinhauser Institut für Theoretische Teilchenphysik, Karlsruhe Institute of Technology (KIT), 76128 Karlsruhe, Germany Deutsches Elektronen Synchrotron DESY, Platanenallee 6, 15738 Zeuthen, Germany Scientific Research Computing Center, Moscow State University, 119991, Moscow, Russia Skobeltsyn Inst...
متن کاملBitopological duality for distributive lattices and Heyting algebras
GURAM BEZHANISHVIL I†‖, N ICK BEZHANISHVIL I‡ ‖ , DAVID GABELAIA§ ‖ and ALEXANDER KURZ¶ †Department of Mathematical Sciences, New Mexico State University, Las Cruces NM 88003-8001, U.S.A. Email: [email protected] ‡Department of Computing, Imperial College London, 180 Queen’s Gate, London SW7 2AZ, U.K. Email: [email protected] §Department of Mathematical Logic, Razmadze Mathematical Institut...
متن کاملBrine Shrimp Cytotoxicity, Anti-inflammatory and Analgesic Properties of Woodfordia fruticosa Kurz Flowers
The present study was designed to assess the cytotoxicity, anti-inflammatory and analgesic properties of methanol extract of Woodfordia fruticosa flowers. Cytotoxic activity of methanol extract of Woodfordia fruticosa flowers was tested using Artemia salina (Brine shrimp) bioassay. Two doses (400 and 600 mg/Kg) were evaluated for the anti-inflammatory activity against the carrageenan, histamine...
متن کاملGeneric Trace Logics
We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.
متن کاملTopics in Coalgebra
Rough notes for the participants of the summer school affiliated to CTCS'04 held in Copen-hagen, 9-11 August 2004.
متن کامل